Proving Subspaces Examples